let
q k x y = (s (k /* x))
or
(s (k /* y))