proveit.logic.booleans.in_bool_if_true