This is a question about generalizations of the twin primes conjecture. I would like to know a counterexample, or a proof, for the following cpuple or related arithmetical sentences: $(\forall p)(\exists n)(\exists q)( Prime(p) \wedge Prime (q) \wedge (p = 2^n + q))$ In informal words, every prime number $p$ can be written as the sum of a smaller prime $q$ and a power of two. $(\forall q)(\exists n)(\exists p) ( Prime(p) \wedge Prime (q) \wedge (p = 2^n + q))$ In informal words, for every prime number $q$ there exists a number $n$ such that the sum of $q$ and the $n$-th power of two is a prime number.