In this article, I investigate the modal logic of exact equivalence (i.e., sameness of exact verifiers). In particular, by building on Kim’s exact truthmaker semantics for modal logic, I provide an answer to the following question: which sentences of the language of propositional modal logic are exactly equivalent by virtue of their logical form?