mathematician primary subject, 176 assertions