Pseudocode (#389)