There is a thermostable ligase that we can use to ligate together new DNA molecules in repeated PCR cycles. It has the interesting property, investigated in this paper, that it will not ligate if the base pairs are mismatched at the neighboring ends. This fact could conceivably be used to force computations to go forward in our "brick-wall" approach.