Example: LVY bound to 4CI2