Pass the inverse context around explicitly

This addresses #218.