Text this: Predicate Transformer Semantics for Hybrid Systems