  The Hilbertian gravitational repulsion is quite absent in the Einsteinian
field of a proton, owing to the gravitational action of its electric charge.
Accordingly, the proton bunches of the LHC cannot exert any repulsive
gravitational force.
