Thesis: chapter 2 introduction
Thesis: add EFS algorithm pseudocode