Z_2 -> \mathbb{Z}_2