Add some sets specifications