Example: 0LI bound to 3IK3