With MIC, one is able to associate user data with arbitrary1.1datatypes and perform arbitrary verification on the user supplied data. A good datatype will implement standard checks to further ease this process.
Furthermore, MIC will take note of what data is being asked for and only allow that data to be changed. Thus, MIC coders know what to expect and when to expect it. And since verification has been done by the time it gets to the developer's code, they can trust that the data is atleast as good as the verification procedures.