The Marksmith AU

The proof written backwards

You start from the target and reach something true.

That direction proves nothing: implication is not symmetric. Start from something already true (a square $\ge 0$, an identity, the previous part) and work forward.

Next time: Your first line must not be the target.

Try it: Work one on a block