Example: 0RV bound to 4EYL