Many-body theory of excitation dynamics in an ultracold Rydberg gas | Synapse