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