Back to 2cnf summary page.