[tex] GP pseudocode...