Talk:Hierarchical constraint satisfaction