Completeness means that not every supertype occurrence is a member of a subtype.