notes on correctness