Text this: Introduction to logical theory