The witnessing entities in non-standard models must therefore be entities other than natural numbers...