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.