Nit: maybe `< 3` is a better condition, so if for any reason it would be greater than 3, we trap that failure with the assertion below.