Text this: A Modern elementary logic