Non-residually finite C₂-lattices | Synapse