[Ice 001] count mathematics