[seqfan] Definition of A023200

[Klaus Brockhaus]

Vincenzo,

I happened to look at A023200 and saw that some time ago you corrected 
the definition.

	%N A023200 Primes p such that p and p + 4 are both primes.
	%E A023200 Definition corrected by Vincenzo Librandi (vincenzo.librandi(AT)tin.it), Aug 02 2009

In my view this definition is somewhat clumsy, it contains the 
redundancy "Primes p such that p is prime".
Possibly better definitions are

	%N A023200 Numbers n such that n and n+4 are prime.
	%N A023200 Primes p such that p+4 is prime.

Would you please tell which wording the definition had before you 
corrected it?

Thanks,
    Klaus