2018년 6월 초 무렵에 사티아 나델라의 명제태도 태도 연구

~(∃x)(x는 사티아 나델라다 & ~(∃y)(y는 사티아 나델라다 & x ≠ y) & (∀z)(z는 x의 동방결절 세포다 → (∃w)(x는 w를 믿는다(◇w는 생물학적으로 기능한다)z)))

그렇지 않은 것이 아니었다...