Text this: Logic computers, and sets