added FunSet