New pseudocode document. Motivations.