I fully understand the double arrow of S-P ↔︎ M-S when Rules #3 and #4 are combined, which creates the two possibilities, M-S-P and P-S-M. But based on Rule #3 alone, S-P → M-S, thus M-S-P; then, its contrapositive, S-M → P-S, thus P-S-M. So there's that two possibilities already. Wouldn't Rule #4 b...