semantic correctness

3 papers