purity conjecture