let
is_one v = equal one v