The empty set is not nothing | Synapse