[Rough Rock 015] count mathematics