[Lava 005] count mathematics