Teacher Induction Preconditions