MAYBE
MAYBE
TRS:
 {
    activate(X) -> X,
   and(tt(), X) -> activate(X),
   plus(N, 0()) -> N,
  plus(N, s(M)) -> s(plus(N, M))
 }
 Fail