How to empty a swimming pool!