La estructura para utilizar el combinador forAll: