Tomita–Takesaki_theory loading ...