P1, P2, and P3 are very different kinds of physical realizer of S.

• 疼不同一于任何这类事态之一（于是排除其他）。