Chen H. Computability and Complexity 2023 Fix