refine
refind; add diagram