Peter Achten wrote: ========== p.s.: These are not the Clean-team-dreams ========== Peter, Can you elaborate on what the Clean-team-dreams are? That is, once the known projects on dynamics, generic programming and the proof-system have been completed? (Or have I missed any 'known projects?) regards Erik Zuurbier