DOES ASSERTIBILITY SATISFY THE S4 AXIOM