Template:Presburger winners