Stromquist, W. Envy-Free Cake Divisions Cannot Be Found by Finite Protocols. Electron. J. Combin. 2008, 15, R11.