Complete, with next steps

reasonable comments.
Also, working on cataloging, creating a similar object for the new
inverse, since we already know the inverse of the inverse