The Mizohata-Takeuchi conjecture is a statement in the form "For all <x> (a bunch of math)".

Showing that there exists an x such that the statement is false disproves the conjecture.

She found a counterexample.