EFT_A9 #889 (EFT_A9)