Before revision:  We further show that Recognition is \mathsf{NP B_k-CPG  with k \geq -complete.
After revision:  We further show that Recognition is \mathsf{NP B_k-CPG with k \geq 1 is \mathsf{NP-complete.