proveit.logic.booleans.true_not_false
proveit.logic.equality.substitute_truth