theorem Th21: :: MODAL_1:26

MP-conectives misses MP-variables