Primitive terms in a highest-l ...... nted by examples and by axioms
@en