Horndeski gravity as D → 4 limit of Gauss-Bonnet | Synapse