MDLUL/Infimum (R)