Text this: The Languages of Logic: