MDLUL/Infimum