We were reading a bedtime story, from the book “17 Equations that Changed the World” and Simon told me about how a computer disproved Euler’s Conjecture. I was surprised at how he could give me this micro- lecture on the spot and asked him to repeat the essence of it the following morning: