MDLUL/semiinvariant