exit messages and preconditions