Inverse subsumption for complete explanatory induction.