Fix bug in indistinguishability.

Require pcs to be both low or both high.