op_wrong_arity_existence_error(existence_error(procedure, op / 4)).