Proof vision