Spectral positivity & Osterwalder–Schrader

Reflection positivity on Euclidean side ↔ unitarity on Lorentzian; basis for rigorous construction (constructive QFT, lattice).