  The line packing problem is concerned with the optimal packing of points in
real or complex projective space so that the minimum distance between points is
maximized. Until recently, all bounds on optimal line packings were known to be
derivable from Delsarte's linear program. Last year, Bukh and Cox introduced a
new bound for the line packing problem using completely different techniques.
In this paper, we use ideas from the Bukh--Cox proof to find a new proof of the
Welch bound, and then we use ideas from Delsarte's linear program to find a new
proof of the Bukh--Cox bound. Hopefully, these unifying principles will lead to
further refinements.
