[Agate 002] count mathematics