Reminds me of the joke where students prove by induction that the teacher is not actually planning a surprise test, and are surprised when there's a test the next day