Text this: Logic, proot, and sets