Symbol: efa_eq