With pseudocode