Of course, the positivication of Kripke's normal modal logic with one meet-preserving \(\Box \)  should turn out to be Dunn's positive modal logic [1]}. We show this in a roundabout way which has the advantage of making precise the relationship of our notion of positivication with the procedure employed in [2]}.
