Every calculation requires a projection postulate, there is no way around it.
Projection:map :: Collapse: territory.
Every calculation requires a projection postulate, there is no way around it.
Projection:map :: Collapse: territory.