> b) false negatives are more frequent and thus more annoying.

I think this is the case for the user. For the sender it's a major issue and a huge annoyance, but you don't measure user satisfaction by asking senders.