then they laughed