  A few comments are in order here, though.  Strong centering is sufficient but not necessary for Modus Ponens, weak centering would do: \(w\in f(w,p)\) if \(w\in p\). LT and LAS follow from SSE, and allow similarity theorists to say why some instances of Transititivity and Antecedent Strengthening are intuitively compelling.