Formulas like ∃x.φ(x) become vacuously false over empty sorts, collapsing the distinction between fa...
This proposition has not been edited since the history system was added.