Devel on efficiency and unfolding