tweaked python set