  This is presented the justification of the expression for the atom
interferometer phase in the presence of proof mass used in arXiv:1407.7287.
Quantum corrections to that expression are also derived. The corrections allow
one to calculate numerically atom interferometer phase with accuracy 1ppm or
better.
