63.67/60.02	MAYBE
63.67/60.02	
63.67/60.02	Problem:
63.67/60.02	 h(f(),a(),a()) -> h(g(),a(),a())
63.67/60.02	 h(g(),a(),a()) -> h(f(),a(),a())
63.67/60.02	 a() -> a'()
63.67/60.02	 h(x,a'(),y) -> h(x,y,y)
63.67/60.02	 h(x,y,a'()) -> h(x,y,y)
63.67/60.02	
63.67/60.02	Proof:
63.67/60.02	 Open
63.67/60.03	EOF