Write toSummary' in terms of toSummary