Gaussian reduction