Warning: regressions. Simplifying term abduction, initial commit.