add recfun and funsets, not submit now