for whoever has entered God&#8217;s rest has also rested from his works as God did from his.