a rectangular pool with a roof