Text this: Basic model theory