YES(?,O(n^2))

Problem:
 .(.(x,y),z) -> .(x,.(y,z))

Proof:
 Matrix Interpretation Processor:
  dimension: 2
  interpretation:
                 [1 1]          [0]
   [.](x0, x1) = [0 1]x0 + x1 + [5]
  orientation:
                 [1 2]    [1 1]        [5 ]    [1 1]    [1 1]        [0 ]              
   .(.(x,y),z) = [0 1]x + [0 1]y + z + [10] >= [0 1]x + [0 1]y + z + [10] = .(x,.(y,z))
  problem:
   
  Qed