Gray correctness