Wikipedia talk:Reducing consensus to an algorithm