proveit.logic.equality.contradiction_via_falsification