614532.fig.004
Figure 4: LE Algorithm formalized.