use treeset for values() ordering