set operations for sanity checks