Given any displayed monoidal category ${𝑀}^{\text{𝙳}}$ over $\text{𝖥𝗋𝖾𝖾𝖬𝗈𝗇}(𝑋)$ with an interpretation $𝜄:𝑋⇝{𝑀}^{\text{𝙳}}$, we may construct a global section $\text{𝖥𝗋𝖾𝖾𝖬𝗈𝗇}(𝑋)\to {𝑀}^{\text{𝙳}}$. We refer to this as the global elimination principle of $\text{𝖥𝗋𝖾𝖾𝖬𝗈𝗇}(𝑋)$.