undoing correctness experiment