5.12.13.5.1. Preconditions