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