correctness (1)