generated at
normalization property
normal form (abstract rewriting)