anchor.diff:                              (
                                   complexRules.Keys
                                   |> Seq.map (fun x -> x, emptyMatrixOfSize (stringSize + 1))
  -                            ) 
  -
  +                            )                                                        
   
           let addProbToMatrix (matrix: Map<_, double [,]>) row column nontermProb = 
               let key, prob = nontermProb
  
positive.code: 
  
          for i in 1..matrixSizeExponent do
              printfn "layer %d:" i
              completeLayer i
  
  
  
  
negative.code:             let secondMultTasks = Array.map2 (fun w (f1, f2) -> {where=w; from1=f1; from2=f2}) secondSubLayer secondToMult 
              let thirdMultTasks = Array.map2 (fun w (f1, f2) -> {where=w; from1=f1; from2=f2}) secondSubLayer thirdToMult 
                          
              secondMultTasks |> Array.iter performMultiplication
              thirdMultTasks  |> Array.iter performMultiplication          
              completeSubLayer secondSubLayer halfMatricesSize
  
  
  