Nondeterminstic RAM is like deterministic RAM with extra instruction “JMAYBE” which nondeterministically jump or continue when executed.

We can simulate nondeterministic RAM on nondeterministic TM , with only logarithmic overhead.

But how can we use nondeterminism to reach such a efficient simulation.