Minor rearrangements. Prints normalized terms to console in