Physical structures like P_f can constrain which geometric frameworks are applicable without determi...
This proposition has not been edited since the history system was added.