 The intuition behind the STP is that if \(g\) is weakly preferred to \(f\), then that must be because the consequence \(Y\) is considered at least as desirable as \(X\), which by the same reasoning implies that \(g'\) is weakly preferred to \(f'\).