for whoever has entered God's rest has also rested from his works as God did from his.