https://9pdf.info/document/yr3dj9d7-promises-make-finite-constraint-satisfaction-problems-infinitary.html