[xamuel]

But, given x->y, if you prove !y, you can conclude !x, so in a sense kibibu is right (possibly requiring "proved" to be read as "indirectly proved"), and we should give them the benefit of the doubt.

[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