ADD: halting, almost
MERGE: