for anyone who enters God's rest also rests from their works, just as God did from his.