5.12.11.32.4. Preconditions