The pool deck extension without the swimming pool.