  Then ‘\(p \rightarrow q, \mathrm{or}\, q \rightarrow p\)’ has a counterexample, points at which p holds without q and vice versa, showing a failure of sufficiency exactly because more worlds are considered.