MAYBE 0.08/0.17 MAYBE 0.08/0.17 0.08/0.17 Problem: 0.08/0.17 and(tt(),X) -> activate(X) 0.08/0.17 plus(N,0()) -> N 0.08/0.17 plus(N,s(M)) -> s(plus(N,M)) 0.08/0.17 x(N,0()) -> 0() 0.08/0.17 x(N,s(M)) -> plus(x(N,M),N) 0.08/0.17 activate(X) -> X 0.08/0.17 0.08/0.17 Proof: 0.08/0.17 Open 0.08/0.18 EOF