Գրեք սա: Proof and other dilemmas