Better simplification and printing.