Semantic correctness conditions can be fully specified in terms of truth-conditional or causal-infor...