Real correctness on LSH