an extension does not imply being a strict superset.