deletions | additions       diff --git a/Correctedness_Correctedness_is_trivial_The__.md b/Correctedness_Correctedness_is_trivial_The__.md  index 75a2341..82a1532 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, q_x\land  x_\max \geq q_x, q_x \land  y_\min \leq q_y, q_y \land  y_\max \geq q_y\). This is equivalent to reporting all rectangles intersecting our point, and the proof is complete.