The Pudding is in the Proof Contemplation (loopable)