The simulation argument presupposes that non-deterministic computation is reducible to deterministic...