we DO need Unk/Err to exist in conj/disj