discovery aspect of gauss, 1 assertions