Q:\CUP\CUP-3.TXT         1999 July 22

I has expected CUP-3 to follow trivially from CUP-2, but it took a while
to realize what was going on. The surprise was that the proof required
assigning the value 1 to max_distinct_vars.