P
Initializing...
Suffix-relocated Turing command preserves command well-formedness · Prove2Me