When I tried to formulate a proof I realized some can became uneliminated and defeat the previous winner. I will try other rules or proof the imcompatibility of mono-add-top and Smith if its exists.<br>________________________________
<br>Diego Santos<br>