node.js ko

(S ∧ ¬T ∧ ¬Q ∧ ¬Kd( S̅ ))

Who