Solve exercises with Socratic