I was able to strengthen the theorem announced in f.o.m. Dec. 3, 1999 in the following way: THEOREM. The theory ZFC + LAD + (DE or DI) proves GCH. (A part of the idea of the proof comes from the early work of Morton Davis on determinacy. I will try to publish my work in the J.S.L.) Jan Mycielski