r * Efc ' Ir1'