Add ij_intro tactic