P
Initializing...
Result 1: necessary and sufficient fast-control simulation · Prove2Me