A system, method and article of manufacture are provided for transition state-based cryptography in an application including at least one state having a state key associated with it. An amalgam retainer is positioned in the arc chamber and is abutted against the constricted area. For formal verification, a verification output is constructed from the gate-level representation and DUTDUV assertion-monitoring circuitry. The wet reagent includes from about 0.