Higher-derivative gravity, surface terms, and string theory | Synapse