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