if type(expr) == b_not_t and type(expr.op) == b_not_t:
    return expr.op.op.pluck()