MDLD/polynomial ring (K1)