Title: Power domains, modalities and the vietoris monad