Checking in XMI