No More Learning

          of proving the thesis of non-emptiness]
L6: [a.