wangs conjecture