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.