Doubly strongly first-order dependencies | Synapse