It's 3 am. The house is asleep. I prove and conjecture.