human
I wrote the below code

    def _proxy_rewriter(criteria):
        (criteria, integral) = criteria
        (integrand, symbol) = integral
        args = (criteria + list(integral))
        if condition(*args):
            rewritten = rewrite(*args)
            if (rewritten != integrand):
                return RewriteRule(rewritten, integral_steps(rewritten, symbol), integrand, symbol)
    return _proxy_rewriter

What's a good function header?
 Here's a good function header?
assistant
#Here's a good function header.

def proxy_rewriter(condition, rewrite):