A New Paradigm for Intelligent Tutoring Systems: Example-Tracing Tutors | Synapse