Freddie Manners, of Packwood Haugh School in Shropshire solved an
alphanumeric without using the extra information supplied and this
article explains his reasoning.
These tasks provide opportunities for learners to get better at proving, whether through proof by exhaustion, proof by logical argument, proof by counter example or generic proof.