Consider the following decision problem, over the equality symmetry.

**Input: **an orbit-finite system of linear equations over

**Decide: **does have a solution (not necessarily finitely-supported)?

Inspired by Eryk’s beautiful solution of this problem, we present another solution, using an amazing theorem from topological dynamics.