Fixed substitution and pretty-printing