proveit.numbers.number_sets.integers.int_membership_is_bool
proveit.logic