Williamson, T. Does Assertibility Satisfy the S4 Axiom?. CRHF 2019, 27, 3-25.