Next we assume another function wf 2 , which takes in a node and returns its wellformedness as determined by the well-formedness of its daughters.
this function is defined as: the mother's well-formedness is the product of the well-formedness of its daughters.