This is the framework presented in [1]}. Bernstein algebras
are not necessarily associative: \(a(bc)\)  might not equal \((ab)c\) . (Such an
algebra is traditionally called a nonassociative algebra, even though it
might accidentally be associative.) However, normal algebras are
trivially associative, since any three-fold product is automatically 0.
They are also special Jordan algebras, the algebra itself providing the
associative algebra for which \(ab=\frac{1}{2}(ab+ba)\) . (Chapter IV of the
standard reference on nonassociative algebra [2]} presents Jordan
algebras.) None of these extras is used in this paper.
