Correctness confirmed.