3.25/1.14	YES
3.25/1.14	
3.25/1.14	Problem:
3.25/1.14	 strict:
3.25/1.14	  f(f(x)) -> x
3.25/1.14	 weak:
3.25/1.14	  f(x) -> g(f(g(f(x))))
3.25/1.14	
3.25/1.14	Proof:
3.25/1.14	 String Reversal Processor:
3.25/1.14	  strict:
3.25/1.14	   f(f(x)) -> x
3.25/1.14	  weak:
3.25/1.14	   f(x) -> f(g(f(g(x))))
3.25/1.14	  Arctic Interpretation Processor:
3.25/1.14	   dimension: 2
3.25/1.14	   interpretation:
3.25/1.14	              [0  -&]  
3.25/1.14	    [g](x0) = [0  -&]x0,
3.25/1.14	    
3.25/1.14	              [0 0]  
3.25/1.14	    [f](x0) = [4 4]x0
3.25/1.14	   orientation:
3.25/1.14	              [4 4]          
3.25/1.14	    f(f(x)) = [8 8]x >= x = x
3.25/1.14	    
3.25/1.14	           [0 0]     [0  -&]                 
3.25/1.14	    f(x) = [4 4]x >= [4  -&]x = f(g(f(g(x))))
3.25/1.14	   problem:
3.25/1.14	    strict:
3.25/1.14	     
3.25/1.14	    weak:
3.25/1.14	     f(x) -> f(g(f(g(x))))
3.25/1.14	   Qed
3.25/1.14	EOF