Aquéllos que hayan optado por esta decisión terminológica han sido, simplemente, prevenidos para que describan una máquina que refute la tesis M como una función computable.