Better pseudocode