proveit.logic.booleans.true_is_bool
proveit.logic.equality.substitute_truth