If correctness conditions constitutively determine semantic content, violating them means using a di...
This proposition has not been edited since the history system was added.