[qsort]

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.

[mgiampapa]

She found more than one way of disproving it in the process.