 Proposition 1. For all \(L(V_o)\) sentences \(\phi\), \(\TC^R\) \(\vdash \phi\) if and only if \(\TC \vdash \phi\), where \(\vdash\) designates the relation of logical consequence in classical logic.