Existing tests fixed. New tests needed
Incorporating Set.forall improvement