Submitted a spec for message guarantee