introduced formatting and indentation for terms representing a result