while the morning stars sang together and all the angels shouted for joy?