ParentFull threadmclehman·To be fair, in Z2 the equivalence class of 1 + 1 is still equivalent to the equivalence class of 2.View on HN