MAYBE

Problem:
 f(n__a(),X,X) -> f(activate(X),b(),n__b())
 b() -> a()
 a() -> n__a()
 b() -> n__b()
 activate(n__a()) -> a()
 activate(n__b()) -> b()
 activate(X) -> X

Proof:
 Open