PRD is a Map and Map is not the TerritoryThe relation of a PRD::Feature is similar to that of a Map::Territory. A thought experiment.May 11, 2021May 11, 2021