Succ = Nat