Daniel Murphy: > Sure, we could add a new construct (ie 'assume') to the > language, and use that to pass information. But are they > really different? Conflating the two concepts with a single name is a mistake that will cause troubles. Different features need different names or different syntax. Bye, bearophile