>>381 once went a whole day without thinking about computers or mathematics. The night after, he had a curiously abstract wet dream. He awoke to find a proof of Fermat's last theorem written on the bedsheets in his own semen.