The pond people looked at each other and laughed.