with your guide — bring a question and follow where it leads.
Connect specifications, decomposition, invariants and test cases while distinguishing passing examples from a general correctness argument. Explore it with a personal Socratic tutor — you steer, and your tutor follows your thread.