Japaridze's_Polymodal_Logic loading ...