Gutowski, G. Every Plane Graph Is Facially-Non-Repetitively $C$-Choosable. Electron. J. Combin. 2018, 25, P1.74.