MDLUL/isomorph (Ring)