https://antennamediatorino.eu/en/isnt-it-absurd-to-suppose-that-sets-can-be-empty-or-can-contain-other-sets/