finite distinct (INprogress)

finite distinct