The truth-preserving map from relational models to the space of all types is usually not a modal bis...