using all() from Set helper