Simen kjaeraas wrote: > I am not convinced that such an extension of the type system should be > made, but I believe you are wrong in that it is not verifiable. but > please, do show me my mistake. It is not verifiable because nothing prevents you from assigning: m = random(); That is not logical const.