Finite generating sets for reversible gate sets under general conservation laws.