  This approach requires a stronger metatheory than the usual approach, since it requires quantification over truth functions. But it is not clear why this is an objection. It is still possible to derive T-sentences whose right sides are no more ontologically committed than the sentences named on their left sides, like