On groups of reversible automata | Synapse