Use reduction to clarify arguments

→