started example pi1(S1) = Z