Correctness conditions specify only extension-membership, which is a semantic relation obtaining ind...