[8] For if Joshua had given them rest, then He would not afterward have spoken of another day. [9] There remains therefore a rest for the people of God. [10] For he who has entered His rest has himself also ceased from his works as God did from His.