wrote a proof