logic primary subject, 515 assertions