de_morgan_collection