In the literature, essence is formalized in two different ways, either de dicto, or de re. Following [11], we adopt its de dicto formalization: a formula is essential, if once it is true, it is necessarily true; otherwise, it is accidental. In this article, we study the model theory and axiomatization of the logic of essence and accident, i.e. the logic with essence operator (or accident operat...