Example: BVD bound to 1KI8