Power domains, modalities and the vietoris monad | lit.salon