Wheeler's 2011 Proofs - leebase