A simple model is used to analyze the performance of a system for verifying compliance with an arms control treaty. Blue and Red are partners in to a treaty. Blue prefers to comply, but is uncertain whether Red similarly prefers compliance (in the absence of threatened violation detection)....