mert's proof
restructuring theory part fanny