simplification of inductive conditions

There is an open question in Google Groups about why I2 cannot be
checked.