Sketch of the system discussed in the paper