Simplify tactic notation