1: \begin{definition}[Hindman's Theorem with bounded sums]

2: For positive integers $n,\ell$, $\mathsf{HT}^{\leq n}_\ell$ denotes the following principle: 

3: for every coloring $f:\mathbb{N}\rightarrow \ell$ there exists an infinite set $H$ 

4: such that $FS^{\leq n}(H)$ is monochromatic for $f$, where $FS^{\leq n}(H)$ denotes the 

5: set of all non-empty finite sums of at most $n$ distinct members of $H$. 

6: \end{definition}

7: