On the other hand, E=1 means that \tilde{X}\neq X, hence given the value of \tilde{X}, we can narrow down X to one of |\mathcal{X}|-1 different values, allowing us to upper bound the conditional entropy H(X|E=1,\tilde{X}) \leq \log(|\mathcal{X}|-1). Hence
