Semiabstract Merge

Semiabstract Merge