Back to 2qed summary page.