test on L1 correctness