Text this: Notes on logic