Text this: An introductory logic