https://www.iwnsvg.com/2014/08/31/ralphs-economic-theorem-of-counting-backward/