reimplemented EfaTc