Proof-clicker view 2