5.12.12.20.4. Preconditions