Syntax schema feels a lot like propositional logic / coding