Referential Calculus Across Domains | Synapse