Completeness of Rm | Synapse