*** Derived: clause3 ***
