Density-functional theory of the solid-liquid interface | Synapse