Density-functional theory beyond the Hohenberg-Kohn theorem | Synapse