“When the morning stars sang together, and all the sons of Godshouted for joy?”—Bible: Hebrew Job (l. XXXVIII, 7)