pretty_tied_upxx, tieduppretty