Add AR migration translation, finish review of sec. 1
sync src.