HE WORKED IT OUT FROM FIRST PRINCIPLES ON THE WHITEBOARD IN the Banana. Beginning with the Tsiolkovskii equation, a simple exponential, he developed some simple estimates, which he then developed into an ironclad proof, that the Cloud Ark was bullshit.