So the GF is (against my advice) studying CS. While I have an ongoing rant on the Programmer's Symposium, I'm coming here for another battle. She doesn't "believe" inductive proofs. She has just ...