the path towards abstraction -- open sets.