User blog comment:Vel!/FGH Gripe/@comment-2033667-20150326191109

Clearly we have not yet reached a consensus, so at least for now I propose the least controversial change possible. We leave the conjectures there, but ensure to use the word "conjecture" in describing them. We add in eventual domination theorems where applicable, and try to make them far more prominent than the conjectures (the first thing we mention, etc.). I'm pretty sure we can all agree that these proven facts are superior to the informal conjectures. It's only the removal of the conjectures that people are disagreeing with.