Text this: Elementary logic