Intuitionistic_logic loading ...