ΔS4 must therefore either beg the question by encoding modal facts as primitive sort axioms, or fail...