Si+1 =   {true, false, 0}
Si+2 =   {succ t1, pred t1, iszero t1 | t1 ∈ Si}
Si+3 =   {if t1 then t2 else t3 | t1, t2, t3 ∈ Si}.