Text this: The language of logic: