Example: B40 bound to 3GKZ