a swimming pool is used for fun.