Reasoning about naming systems | Synapse