add correctness criterion where possible