We will make described operation for each term (for terms with non-zero actual verity will be enough) and sub results for each term logically add up. Logical sum OR is interpretate as maximum function. This process is possible to interpretate graphically as figure unification under „deformed“ term logical functions („cropping“ or „compressed“).