lepton primary subject, 9 assertions