  The main result is a test function style commutant lifting theorem for an
annulus A. The test functions are the minimal inner functions for A. The model
space is the Sarason Hardy Hilbert space for A uniquely determined by the fact
that its reproducing kernel has no zeros.
