Definition (Partition regular). Let $A\ne 0$ be a $m\times n$ matrix over $\mathbb{Q}$ and we say that $A$ is partition regular (PR) if whenever $\mathbb{N}$ is finitely coloured, there exists a monochromatic $x\ne 0$ such that $Ax=0$.