Initially, one might have hoped to combine an entailment account, qua analysis, with a quantifier account, qua test. (Arguably, this is the best way to understand Quine's project.) But the problems with implicit commitment suggest that the entailment analysis and the quantifier test do not match up, that the test will undergenerate with respect to the analysis. One could dampen one's ambitions, and be content with a one-sided test, a test that in general provides only a sufficient condition. (This is suggested by Rayo (2007: 432) as a response to the problem of extrinsic properties.) But a one-sided test won't be of much help in comparing the ontological costs of theories. Such comparisons require that all costs be put on the table.