VECCHIO REDUCE