analysis of preconditions 495493