[Ice 002] count mathematics