For he has said this somewhere about the seventh day, “God rested on the seventh day from all his works”;