Logics_for_computability loading ...