a pool in a building