An S4 Kripke frame is characterized by an accessibility relation that is both reflexive and transitive. Which of the following modal formulas is NOT valid in all S4 Kripke frames?