EFT_A5 #888 (EFT_A5)