Proofs by Sight