Example: KOV bound to 4KOV