Theory of the hypervolume indicator | Synapse