Filtering returning bounces based on Message-ID requires that the MX
True.keep a DB of known-valid IDs. This is a non-trivial expense. There are other problems related to secondary MXes, load sharing, architectures with multiple ingress and egress paths, disjoint arrangements (satellite operations which handle their own deliveries but mail is routed centrally) etc.