Implemented up to forall, need to think about last two
actually added funsets file