1.95/0.85	YES
1.95/0.85	
1.95/0.85	Problem:
1.95/0.85	 strict:
1.95/0.85	  f(g(x)) -> x
1.95/0.85	 weak:
1.95/0.85	  a() -> h(g(f(a())))
1.95/0.85	
1.95/0.85	Proof:
1.95/0.85	 Arctic Interpretation Processor:
1.95/0.85	  dimension: 2
1.95/0.85	  interpretation:
1.95/0.85	             [0  0 ]  
1.95/0.85	   [h](x0) = [-& -&]x0,
1.95/0.85	   
1.95/0.85	         [1]
1.95/0.85	   [a] = [0],
1.95/0.85	   
1.95/0.85	             [0  1 ]  
1.95/0.85	   [f](x0) = [-& 0 ]x0,
1.95/0.85	   
1.95/0.85	             [0 1]  
1.95/0.85	   [g](x0) = [0 1]x0
1.95/0.85	  orientation:
1.95/0.85	             [1 2]          
1.95/0.85	   f(g(x)) = [0 1]x >= x = x
1.95/0.85	   
1.95/0.85	         [1]    [1 ]               
1.95/0.85	   a() = [0] >= [-&] = h(g(f(a())))
1.95/0.85	  problem:
1.95/0.85	   strict:
1.95/0.85	    
1.95/0.85	   weak:
1.95/0.85	    a() -> h(g(f(a())))
1.95/0.85	  Qed
1.95/0.85	EOF