 So how does Quine defend his criterion of ontological commitment from the menace looming from the empty domain? By compromise. Normally one thinks of a logical theorem as a proposition that holds in all domains. Quine (1953b, 162) suggests that we weaken the requirement to that of holding in all non-empty domains. In the rare circumstances in which the empty universe must be considered, there is an easy way of testing which theorems will apply: count all the universal quantifications as true, and all the existential quantifications as false, and then compute for the remaining theorems.