Somewhere, Mateusz has a nice example of this I think (or perhaps Ondrej)
where they grind through the example and at the end say, "or it could have
been simply done like this..."