initial commit for Set logic