Implemented ORSets