 The matrix was proved characteristic by Smiley in 1961. Functors of necessity (\(\Gamma\)) and conjunction are definable in the standard way. More intriguingly, Łukasiewicz notes that there is another possibility operator \(\nabla\) with the truth-table also given below: