x = SSucc SZero