https://www.arrayedindreams.com/2013/08/30/patterning-and-exhaustion/