Used the notion of Proof to solve the easy problem. Feels good.