rewrite the sec. on multiple binders using Nicolas' idea
also reorder sections