nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15238

The task

What is the most important open question left by the treatment of classical proof forests in the dissertation? A. the strong normalisation conjecture for the modified reduction relation B. the search for canonical proof representations C. the interpretation of saturated nets D. the extension to infinite products and coproducts Return only the single uppercase letter of the correct option.