added debugging code to set operations