Example: RAV bound to 3RAV