If a logic of possibility is possible, then a logic of necessity is necessary.