Just took a glimpse of the chapter on Isomorphism pg. 91 (http://www2.math.umd.edu/~jcohen/402/Pinter%20Algebra.pdf )and now I'm indebted to you.