while the morning stars sang together and all the sons of God shouted for joy? 