gt as eq in final port. enough pretty-printing to see effect of changes