~~our string~~ -> ~~a string~~