merge unconcluded
