 Notice there are two f under op, when we're only applying it once. As we don't currently expect any operands with arity > 2, not yet an issue.