A gray code count is not strictly needed.  The synchronizer will work without it.

So

that the read and write pointers can be compared.

So

that the count value never goes through “glitchy” non-sequential values that

might be accidently sampled.