> 241. Rigidity of the Turing degrees. Every order automorphism of the Turing degrees is the identity.

Wow. This is just crazy.