Wigner's_theorem loading ...