anchor.diff:        first      =num1
   )
   
  -(p terminate-addition
  +(P terminate-addition
      =goal>
  -      isa         add
  +      ISA         add
         count       =num
         arg2        =num
         sum         =answer
  
positive.code:    +retrieval>
        isa        count-order
        first      =count
  )
negative.code:       count       nil
  )
  
  (P increment-count
     =goal>
        ISA         add
        sum         =sum
        count       =count
     =retrieval>
        ISA         count-order
        first       =count
        second      =newcount
  ==>
  