[Agate 001] count mathematics