> sometimes there won't be 2 assertable things It seems like if there's 1 assertable thing then it's trivial to also assert an inverse condition. Before arguin

> sometimes there won't be 2 assertable things It seems like if there's 1 assertable thing then it's trivial to also assert an inverse condition. Before arguing that it would be redundant, remember that in the presence of random bitflips and other anomalies caused by radiation exposure, logic may not operate as deterministically as expected.