YES(?,O(n^2))

Problem:
 f(f(x)) -> f(x)
 g(0()) -> g(f(0()))

Proof:
 Matrix Interpretation Processor:
  dimension: 2
  interpretation:
             [1 4]     [2 ]
   [g](x0) = [0 0]x0 + [13],
   
         [1]
   [0] = [1],
   
             [1 0]     [3]
   [f](x0) = [0 0]x0 + [0]
  orientation:
             [1 0]    [6]    [1 0]    [3]       
   f(f(x)) = [0 0]x + [0] >= [0 0]x + [0] = f(x)
   
            [7 ]    [6 ]            
   g(0()) = [13] >= [13] = g(f(0()))
  problem:
   
  Qed