On the syntax of obviation | Synapse