Գրեք սա: Proving the unprovable