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.
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.