Subtypes and Supertypes Setting the Scene