What Does a Proof Do if it Does Not Prove? · Study