wang's conjecture