added a reference to well-powered, added theorem 2.1, defined localization and weak localization