"- What for? - Go over the proof you're working on..."