 Optimalists also think that general truths are true by default so there is no need for bespoke truth-makers for them (like totality facts). Universal quantifications ∀xFx are logically equivalent to negative statements of the form ∼∃x∼Fx. Since the latter are negative, they’re true, if they are, only by default. Then because the former statements are logically equivalent to them, the optimalists surmise that universal quantifications are true by default too (Mellor 2003: 214; Simons 2008: 14–5).