Nipping tautologies in the bud...