Easy Things are hard to prove...