Arbitrary Reference and Weak Discernibility | Synapse