MAYBE

Problem:
 d(0()) -> 0()
 d(s(x)) -> s(s(d(x)))
 e(0()) -> s(0())
 e(q(x)) -> d(e(x))

Proof:
 Open