Residually finite non-exact groups | Synapse