finite distinct (INprogress)

in words (INprogress #5)