Each primitive represents a physical operation in the measurement process. Arrows show signal flow left to right.
M(H⊗W) → D(g, η₁)