Integer set expressions: 2 new properties