Bugfix axiom that relates Message, MessageStart and MessageEnd