high — term in computability theory