3.3.3.1.2. System preconditions