  Suenaga and Hasuo introduced a nonstandard programming language ${\bf
While}^{{\bf dt}}$ which models hybrid systems. We demonstrate why ${\bf
While}^{{\bf dt}}$ is not suitable for modeling actual computations.
