The mail container with contaminant indicator includes a mail container that includes a transparent window provided in the mailing container for allowing a mail recipient to verify that the mail container is free from particulate contaminates such as powders, granules, particles, etc. The model verification system then performs property checking on one of the unsolved cases against a corresponding circuit design model, which results in a property checked solved case and a subset of unsolved cases. In response to the first imaging device either detecting a particular request, to process an electronic document, issued to a different imaging device than the first imaging device or receiving at the first imaging device the particular request to process the electronic document, the first imaging device may update its own current configuration for processing electronic documents.