https://namelyliberty.com/on-the-3x1-problem/