Proof Visual Memory