Redifinition of the GP, references, typos