Reference keyword: Correctness