P
Initializing...
Reading symbols commutes with taking prefix of tapes · Prove2Me