Text this: Sets and symbolic logic