Manfred Nowak wrote: > Walter Bright wrote > >> which is not necessarily knowable and can change over time > > This holds also for the reduction to the three states Always, Never, > Sometimes. If they are part of the type signature, then it can be enforced.