normal form

See also