Is it clear in the comments that this function returns the inverse of itself?