Text this: The logical renaissance :