I din't find a better way to extract the first element of a FiniteSet, infact i guess sets don't keep track of the ordering of elements, so i couldn't use something like self[0]. I know its looking a bit awkward but let me know if you thought of a better idea