5.12.11.5.1. Preconditions