comment out a leftover from experimenting with UISets