E + E -> E;
E + O -> O;
O + O -> E;