As well as the A-type selenenylsulfides and their G-type design controls, we designed hydrolytic, kinetic/thermodynamic, and mechanistic controls: reaching a panel of eleven cyclic probes and one linear probe (Fig. ). We used an isosteric cyclohexane "trigger" as a non-reducible control for spontaneous or enzymatic hydrolysis, or aminolysis/thiolysis, of the carbamate (C-type); this is important when applying mM concentrations of thiolates (that might intermolecularly attack carbamates, confounding the desired reduction). We used a cyclic disulfide (S-type) and a cyclic diselenide (Se3) as reducible controls with different thermodynamic and kinetic sensitivity profiles, that we anticipated would make them not TrxR-selective. Linear disulfide SS00 (Fig. ) was a mechanistic control, since according to our hypotheses it ought to access the irreversible pathway and so be thiol-labile (see Supporting Note 2).