Loading Open Internet
    How does one separate the real numbers and R^n from a physical realisation?