Formatting and transitive closure rework.