putting more doc in folds_isomorphism