The constant/complex clash condition (vii) of Definition 4 prevents atomic values from being substituted for proper subterms and the constant/constant clash condition (vi) prevents them from being equated to nodes.
such a deduction can only involve equations relating a daughter to its mother (or a node to itself).