P
Initializing...
Local equivalence (1)$^-$ ⟺ (4), negative spin $\varsigma=-1$ · Prove2Me