Text this: Delvings in logic