[pdonis]

> given x->y, if you prove !y, you can conclude !x

But given x -> y, if you prove !x, you can't conclude anything. And kibibu said !x, not !y.

[kibibu]

Yeah, I interpreted:

> quantum fields near the horizon can violate some of the assumptions that are required for the area theorem

as !x