The opening 1. e3 Nc6 was originally solved by Mark Watkins of the University of Sydney. I merely rediscovered his proof, which became a lot easier after Mark pointed out that the winning move is 3. a4 (nilatac was leaning towards 3. Qh5).