MDLUL/syntaktische Tautologie