- use of PrettyPrinter for, uh, pretty printing of reconstructions