Do people still use GAUSS?