Commented in some pseudocode