Conditioning Gaussian on sum