Random ziam proofs and coincidens.

Published --