Tweaking line margins and adding transitive closure.