No More Learning

In Gotthard Giinther s terminology (which we intro- duced earlier), this means that disjunctive and           operations and their corresponding values must be kept separate.