A Machine-Independent MDL.