OK, so we fixed one design decision that required us to declare our
list of actions in advance. It presents no problem at all with our
new (n, k) algorithm, but it does knock out our Fernandez algorithm
entirely.