Premise: Estrich misses the point.
Hypothesis: Estrich was correct. 
Label: contradiction