Or not.

The pool is a nice amenity, but it's malfunction does not materially affect the habitability or use and enjoyment of the premises.