let cardinal a b = add one (sub b a)