Digging a Pool