finished unify; go to alogw