  We consider generalised Dirac-Schr\"odinger operators, consisting of a
self-adjoint elliptic first-order differential operator D with a skew-adjoint
'potential' given by a (suitable) family of unbounded operators on an auxiliary
Hilbert module. The index of such an operator represents the pairing (Kasparov
product) of the K-theory class of the potential with the K-homology class of D.
Our main result in this paper is a generalisation of the Callias Theorem: the
index of the Dirac-Schr\"odinger operator can be computed from its restriction
to a hypersurface. Our theorem simultaneously generalises (and is inspired by)
the well-known result that the spectral flow of a path of relatively compact
perturbations depends only on the endpoints.
