This is what happens when you over-iterate on a specification.

Keep it simple. Be kind to your fellow automaton.