When the morning stars sang together, And all the sons of God shouted for joy?