Hi Henning,<br><br>&nbsp;&nbsp; I have often wondered if the notion of lazy list evaluation isn&#39;t an example of constructive mathematics. ?<br><br>Vasili<br>