Levy's constrained-search formulation took the mystery out of DFT and brought clarity and generality to the field -a major step forward, indeed. Lieb's convex formulation, on the other hand, gave DFT beauty and elegance by identifying the density functional with the Legendre transform (convex conjugate) of the ground-state energy, thereby placing DFT in a broader mathematical framework .