Japaridze's_polymodal_logic loading ...