If one tries to Wick rotate a quantum field theory with spinor fields, it’s well-known that problems arise, something first recognized in Schwinger’s earliest papers on the subject. I’ll try and outline here the 1972 proposal by Osterwalder and Schrader …