Algunos investigadores opinan que la tesis M (o alguna otra equivalente) debería caracterizar, de manera informal, el concepto de procedimiento efectivo de tal forma que se pueda modificar para que sea equivalente al concepto tratado.