rewrite lemmas sole parents
undo transducers
Merge branch 'master' of github.com:amosr/papers
erik suggestion on abstract