A coNP witness must be both unique-enough to be convincing and polynomially bounded in size; the pri...