For somewhere he has spoken about the seventh day in these words: “On the seventh day God rested from all his works.”