Umusho olandelayo waziwa ngokuthi "indida yesiphuzo": "Kunomuntu endaweni yokucima ukoma, ngakho-ke uma ephuza, wonke umuntu osendaweni yokuphuza uyaphuza." Akunandaba ukuthi lowo muntu ukhuthaza abanye ukuthi baphuze noma ngabe ukhona omunye umnyango ongemuva, njengoba sizobona ngomzuzwana. Kuyisibonelo esihle esivela ku-mathematical predicate logic.
Siqala ngokusho ukuthi wonke umuntu endaweni yokuphuza uyaphuza noma okungenani oyedwa endaweni yokuphuzela akaphuzi. Ngakho-ke umehluko wecala elilandelayo ufanelekile:
- Wonke umuntu uyaphuza. Bese kuthi uma umuntu ephuza endaweni yokucima ukoma, bonke abakhona bayaphuza - ngoba bonke bayaphuza.
- Okungenani oyedwa akaphuzi. Kunoma yimuphi umuntu ongaphuzi, kuyiqiniso ukuthi uma ephuza, wonke umuntu endaweni yokuphuza uyaphuza - njengoba umuntu engaphuzi ( \(A \Rightarrow B\) kuyiqiniso njalo uma \(A\) kungamanga).
Ngokusemthethweni, kwisilandiso esingenangqondo \(D\) kanye nesethi elingenalutho \(P\) umusho ungamelwa kanje.:
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$