  We present a rooted hypersequent calculus for modal propositional logic S5.
We show that all rules of this calculus are invertible and that the rules of
weakening, contraction, and cut are admissible. Soundness and completeness are
established as well.
