Sentence:  Proving the conjecture is equivalent to constructing a PCP that reads 2 symbols and accepts iff these symbols satisfy a <WSD>bijective</WSD> constraint. 
Meaning of the word marked with <WSD> tags:  Having a component that is (specified to be) a bijective map; that specifies a bijective map.