Now, in our context, Arg contains the argument, and SysInt an interpretation generated by our system.
we are looking for the SysInt which yields the shortest message length for ML SysIntT he first part of the message describes the interpretation, and the second part describes how to reconstruct the argument from the interpretation.