updated: set operations renamed