Some work done
Asserts for sets added