But, coming to the negatives, the equational interpretation is certainly less obvious. |
When a crossover occurs between the centromere and the locus, the first division can be either equational or reductional. |
The equational theories developed herein are ordinary conditional equational theories. |