[Rough Rock 012] count mathematics