  We prove the existence of designs of small size in a number of contexts. In
particular our techniques can be applied to prove the existence of $n$-designs
on $S^{d}$ of size $O_d(n^{d}\log(n)^{d-1})$.
