Text this: The languages of logic /