MDLUL/Substitutionsaxiom