Proved uniqueness of folds and some more stuff