I just included it as a default case. If you want to assume malintent, that's on you. The more interesting cases are the last two because they reveal that messaging cannot be made private because you cannot prevent the counterparty from leaking information.