runtime and correctness