Example: RFV bound to 4OIR