more detailed pseudocode for edels.txt