Define an "apply under binders" tactic