Comment by perching_aix

Do you know what a formal proof is?