A Tactic to Note