In the book: Logical Foundations of Proof Complexity (S.Cook), we have a proof for the Derivational Soundness and Completeness of LK assuming that the underlying vocabulary does not contain =. In this proof is said that the soundness direction holds also when he underlying vocabulary contains =.
My question is, why the soundness holds with = and completeness does not?