Relational Constraint Foundations (RCF) | Synapse