Style nit: `) : Counting` => `): Counting`