4.3.4.1.2. System preconditions