Fig. 4: Formal higher-order MCRs design and synthetic applications. | Nature Communications