ADDED: Barrett reduction