S4 Counterexamples