The subformula property—on which the claim depends—fails for systems with non-standard structural ru...