std correctness