so I conclude that the rest below makes sure that a system which does not enable tracing will never put a TracedMessage into any mailbox, even if it receives it from other systems?