fix lower case, thanks Goran-san!
going on with the report
replace semirings by monoids
going on