Priori x Shoeg^{ca + es + CAT}