Sinceadefinitionisaformula，andeveryformulahasparts，
andastheformulaistothething，soisthepartoftheformulato
thepartofthething，thequestionisalreadybeingaskedwhetherthe
formulaofthepartsmustbepresentintheformulaofthewholeor
not。Forinsomecasestheformulaeofthepartsareseentobe