kcal

rule: log gap heuristic