Talk:Formal models of heuristics