“…The panorama of theories that, despite the presence of higher derivatives in the equations of motions, avoid Ostrogradsky instabilities [47] has been exhausted by the Degenerate Higher Order Scalar-Tensor Theories (DHOST) [35,48,49,50]. In parallel, the original EFT formalism has been also extended to include those theories with second-order derivative equations of motion with a vector or tensor additional field [51,52], such as Generalised Proca [53], generalized Einstein-Aether [54] and massive bi-gravity [55]. Finally, while the EFT formalism was originally developed to describe general patterns of DE/MG models at linear cosmological scales, there has also been great progress in extending the framework to include non-linear perturbative effects [56,57,58,59,60,61].…”