some heuristics work, inference problem solved