MDLUL/formalen Ableitung