Text this: Introduction to Logical Theory