heuristics in inference
merged