ubiquitin: it seems i must explain exactly what i mean. I did not rewrite premise A, rather I explained to you why you’re wrong. I’ll explain myself again. You’re under the impression that a when a person gets married he has a mitzvah of giving a get, that is simply incorrect. There is no mitzvah of getting divorced. the reason why one should not give a get is not because one should try doing the most mitzvahs he can, rather one has no mitzvah of giving a get unless he wants to. Big differnce. the same is with yibbum or any other circumstantial mitzvah.
Which is why there was no difference in giving the example through gitten or yibbum, both of the there is NO MITZVAH UNLESS WANTED, not that one should try doing as many mitzvohs as one could.
I hope this is clear and simple enough.
as to the testimony of the gentiles. i’d advise you to look up the Pri Chadash (Y.D 80:2) and the Steipler (kisvei hachadashim 119:20) before dismissing anything lightly. It is an extremely irresponsible to give an opinion on something you have obviously done no research. And again all Rav Eliyashv said is that we can’t be mechayiv the world to carry, and that was before all the new evidence of recent times.