Rephrases and clarifies hardness proof.