insert correctness