3.3.2.3.1. Preconditions