failure with constant sets
mistake with Finitesets