check in induction tac