Comment by cowlevel

Good explanations should take the form of human-understandable proofs.