Integration Over Hilbert Space and Outer Extensions | Synapse