Mitchell_Porter comments on The mathematical universe: the map that is the territory