We need semantic diff.