microprocessor primary subject, 341 assertions