@carmods: what about Proof