El mismo ejemplo puede expresarse así: