Directory results for A decomposition lemma for elem... to A decomposition procedure for...