let
is_eq s x y = (is_equal s x y =
Three
.
Yes
)