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