Only if Assume that 
is a solution sequence to this instance of PCP.
Consider the following two derivation in .
| Post's Correspondence Problem (PCP) | ||
| Only if Assume that Consider the following two derivation in |
||