Example: EF2 bound to 4CI1