f_a( O ) = O^{'} \\ f_a( E_1 ) = E_1^{'} \\ f_a( E_2 ) = E_2^{'}