Witten's conjecture