Text this: Witten non abelian localization for equivariant K-theory, and the [Q, R]=0 theorem /