Working on the algorithm description in the appendix.