The Theseus Learning System is a fun and challenging course in critical thinking with a software component for visualizing thought.