Text this: Sets theory and logic