On The Axioms Of $mathcalM,mathcalN$-Adhesive Categories (Logical Methods in Computer Science, 2025)