  We give full boundary extensions to two fundamental estimates in the theory
of elliptic PDE, the weak Harnack inequality and the quantitative strong
maximum principle, for uniformly elliptic equations in non-divergence form.
