Our paper On the Axioms of 𝓜,𝓝-Adhesive Categories has been published on Logical Methods in Computer Science.