The paper considers the question of when the operator L of necessity in modal logic can be expressed in terms of the operator meaning it is non-contingent that.This paper was presented by title at the 1986 Annual Conference of the Australasian Association of Logic in Auckland, 9–12 July, 1986.