Ūegar viđ notum skiptandi Turing vél höfum viđ ATIME-auđlindina. Setning 2: Ef viđ höfum skiptandi Turing vél, notum viđ auðlindina ATIME. Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Nei, ekki.