* The marked * is the algorithm that takes the JED paradigm.