Let $V, \tilde{V}$ be smooth algebraic varieties over $\mathbb{C}$ and $f \colon \tilde{V} \rightarrow V$ a projective (or proper) birational morphism. Assume that the exceptional locus $E \subset \tilde{V}$ has codimension $\ge 2$.

**Question** Is $f$ an isomorphism?