FunSets#forall and FunSets#exists