Provability_logic loading ...