Formatting, pretty printing for semantics clarity