Message precondition