Moving liftString somewhere more sensible.