working towards more general left rec elim.