Second-Order Constraints in Constraint-Logic Games
glthr.com