update to separate the printing of the external representation from its computation