Text this: Elementary Logic