2.7.2. If