proveit.logic.booleans.conjunction.nand_if_not_left proveit.logic.booleans.in_bool_if_false proveit.logic.booleans.in_bool_if_true