4.5.2.1. Preconditions