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