AIntroductoryProblems: Transition system for Theoretical Problem 1