I find that often this sort of writing -- technical-ish, e.g. trying to describe a flowchart or a boolean circuit in casual text, as you see in law or documentation -- has various sorts of ambiguities (e.g. issues with associativity and quantifiers) that would be obvious if you tried to transcribe it into code.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.