“…The mix of two regular or chiral polytopes (defined in [55,7]) constructs their minimal common cover. This is helpful for constructing chiral polytopes, as well as polytopes that are invariant under certain operations; see [7,13,15,59]. There is a natural candidate for the minimal common cover of two rooted polytopes:…”