Barrett reduction