ProofMode: 1000 Words!