3.3.2.1. Preconditions