So the people rested on the seventh day.