For he who has entered into his rest has himself also rested from his works, as God did from his.