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