Text this: Logic, syntax, and a structural view :