EFT_A9 #719 (EFT_A9)