Text this: Logic and Program Semantics