 The converse of the Barcan Formula is also a theorem along with the Barcan Formula in classical logic augmented with a possibility or necessity operator, and is as interesting. The Converse Barcan Formula, as it is known, says the following: