First we discovered the Willy Maloon category. Then we discovered Willy himself. Then we data-researched, and postulated a theory. Everything was easy, until it came to the question of proof.