utline Terms o Formuals o Formation treeOutline Terms Formuals Formation tree Yi Li (Fudan University) Discrete Mathematics May 22, 2012 3 / 1