@ lexSet: almost done...