Back to 2nnf summary page.