Classical_logic loading ...