logarithm primary subject, 13 assertions