added funsets and forcomps