more HOL fine tuning