On theorems of the alternative | Synapse