Ab initio molecular dynamics with a finite-temperature density functional | Synapse