section 3 figures and discussion, up to unify
simplify definition of param-elim
simplify definition of elim-x
update 3.2 to follow the new figures