Example: HFG bound to 4HVC