(see section 5.3)