[Rough Rock 017] count mathematics