  We introduce a mathematician-friendly formulation of the physicist-friendly
derivation of the Atiyah-Patodi-Singer index of our previous paper. Our
viewpoint sheds some new light on the interplay among the Atiyah-Patodi-Singer
boundary condition, domain-wall fermions, and edge modes.
