precondition messages