How exactly does one go about naming pools? Is it through history that the accepted name for a pool comes into being or can they be made up on the spot. There have never been any formal names for p…