Approximate inclusion-exclusion | Synapse