Z3 = Z3 and Z2 > Z3: