Pseudocode done