proveit.logic.booleans.true_is_bool