string abstraction post