This one can be pretty-printed.