Residual finiteness and discrete subgroups of Lie groups | Synapse