[thaumasiotes]

What are a and b?

[josephcsible]

Does it matter? My reading is basically "if you have two distinct candidates, isn't that a way to always disprove at least one of them?"