Gray code is pretty hard