proveit.logic.booleans.unfold_is_bool