work aspect of gauss, 2 assertions