 However, (34) and (35) do not assert that being obligatory is equivalent with being the case, for the latter statement should be formalized as A ↔ !A. The latter formula is a theorem of Mally’s system, as will be shown in a moment, but it is not to be found in Mally’s book.