Gödel–Dummett_logic loading ...