detail Empirical Correctness section