Talk:Backus–Kehoe–Kydland puzzle