⊨ TRUE: ⊭ NOT TRUE: ,