The Marksmith AU

Three cases and a conclusion

You check some values, they work, so you conclude.

Verifying is not proving. If the statement says "for all", your proof starts with a letter, not a number. One counterexample disproves a universal claim, but says nothing about a specific case.

Next time: Keep concrete cases in the margin, as rough work.

Try it: Work one on a block