Correctness still not guaranteed