equivalences: finishing up the qinv example