proveit.logic.equality.substitute_falsehood