Si Josué les hubiera dado el reposo, Dios no habría hablado posteriormente de otro día.
Porque si Josué les hubiera dado el reposo, no hablaría después de otro día.
Ahora bien, si Josué hubiera logrado darles ese descanso, Dios no habría hablado de otro día de descanso aún por venir.
No creamos que Josué los introdujo en el lugar donde debían descansar; de ser así Dios no habría indicado posteriormente otro día.
Porque si Josué los hubiera hecho reposar,° no hablaría° después de estas cosas acerca de otro día.
Efectivamente, si Josué los hubiera introducido en el descanso, la Escritura no hablaría ya de un día posterior a esto.