Computability_logic loading ...