Ontify
Not-necessarily-associative commutative algebra over a field satisfiying the identity (𝑥𝑦)𝑥²=𝑥(𝑦𝑥²).