software primary subject, 1000 assertions