Registre de correu electrònic: On the locality of arb-invariant first-order formulas with modulo counting quantifiers