let
equal x y =
S
.equal x y