Source: http://prevost.pascal.free.fr/theorie/eval/def_term.htm.pdf