Now let's review the above presentation of the model.
Granted, it is a qualitative description. But does it correctly telegraph the essence of the algorithm?
(For the exact details, we do have the paper itself to refer to.)
Once the description is settled, we can turn it into a spec, for an implementation of the algorithm.