a ∈ {0, 1, …, 6}