Conditions that the proposed subcircuit mediating dynamic allodynia must satisfy and the resulting inequalities on steady-state voltages in response to Aβ input.

We ensure that the subcircuit exhibits desired behaviors by imposing conditions (middle column) on the subcircuit. Each condition is exhibited in either control, E1-ablation, I1-ablation, or I2-ablation conditions (left-most column), and is realized as an inequality (right-most column) on the steady-state voltage of a population. Inequalities must be satisfied for fAβ ∈ [10, 20] Hz, unless otherwise noted.