Example: HLZ bound to 3LTW