Meta: changed the book class from amsbook to book.