It has been proved that each class is strictly included into the next. It has been disproved that each class is included into what?