This is a modal window.
Beginning of dialog window. Escape will cancel and close the window.
End of dialog window.
amalgamated product
Seifert-van Kampen theorem