[Rock 031] count mathematics