For example, under S5, if X is necessarily, possibly, necessarily, possibly true, then X is possibly true.
例如，在 S5 下，如果说 X 是必然可能必然可能的，那么就等于说 X 是可能的。