deletions | additions       diff --git a/Correctedness_Correctedness_is_trivial_The__.md b/Correctedness_Correctedness_is_trivial_The__.md  index 1d127c3..75a2341 100644  --- a/Correctedness_Correctedness_is_trivial_The__.md  +++ b/Correctedness_Correctedness_is_trivial_The__.md 
...
## Correctedness  Correctedness is trivial. The kd-trees report all \(r \in R\) with \(x_\min \leq q_x, x_\max \geq q_x, y_\min \leq q_y, y_max y_\max  \geq q_y\). This is equivalent to reporting all rectangles intersecting our point, and the proof is complete.