proveit.logic.booleans.forall_over_bool_by_cases
proveit.logic.booleans.implication.false_implies_false
proveit.logic.booleans.implication.false_implies_true
proveit.logic.booleans.implication.true_implies_false_negated
proveit.logic.booleans.implication.true_implies_true
proveit.logic.booleans.in_bool_if_true
proveit.logic.booleans.quantification.universality.bundle
proveit.numbers.numerals.decimals.posnat1